Software Engineering and Formal Methods: SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, ... Papers (Lecture Notes in Computer Science)
by Antonio Cerone, Marco Roveri
ISBN 13: 9783319747804
Format: Paperback (604 pages) Publisher: Springer Published: 03 Feb 2018
Save for later